Nuprl Definition : stutter-state 0,22
stutter-state(s) == <s,null,nil> 
latex

Definitionsnull
FDL editor aliasesstutter-state

origin